Expr.CompositeType parameterized
RecordHasField -> CompositeHasTag
FlatRecordType -> FlatComposite
FlatComposite parameterized
rename constructors of CompositeType