//this module interprets the domain specific language.