fix lexer for Type
cosmetics
export more in Kant.Pretty
comments
stupid cumulativity impl, which seems to work