Efficient Implementations Of Expressive Modelling Languages