ignore MapM for now
no type normalization for kinding
support kinding of type-of, not working