moves Param, TypeParam and ParamType out of Aux