Modelling language meta model

Summary
A formalization of the modelling language for machine-based reasoning.