add type definition test
typ -> tycon
register RecDef