model: introduce MFormalType as a superclass of MVirtualType and MParameterType