type_expr
/type_expr/record/error
false & true
allow empty param list
function kind
visibility
atom checks