Move TyFun, TyCon and Apply to Types module