Towards the formal study of models in the non-formal sciences