NameReference
LightTypeTagRef
name
LambdaParameter
RefinementDecl
Signature
TypeMember
SymName
SymLiteral
SymTermName
SymTypeName
next
Ctx
norm
LightTypeTagImpl
normalizedOutput
Lambda
normalizedParams
Lambda