make manifest types the same as original syntax
alias refined:fix
make type definition like original:fix
factor out variant types; drop support for amp types:fix
remove TyCol from typexpr:fix
remove or in ctyp:fix
continue refine ctyp:fix
refine types :fix