NameReference
LightTypeTagRef
NamedSymbol
SymName
name
RefinementDecl
Signature
TypeMember
NamedSymbol
SymLiteral
SymTermName
SymTypeName
normalizedOutput
Lambda
normalizedParams
Lambda