A lightweight but rigorous framework for modelling describable systems.