LambdaCCC.Encode: type encoding
INLINE pragmas ; LANGUAGE pragma trimming
trim imports
INS macro for inlines
EncTy, EEncTy macros
"NewtypeEncode" --> "RepEncode"; use for Pair, Vec, Tree