PolicyEngine was corrected. There were two Int classes (HasIntValue and HasIntegerValue) - there must be only one! Also, the inheritence was wrong. The superclass should be HasIntegerValues, and Sensor and Actuator should inherit from that. Commit also contains the .dsl project (xtext) with the corrected xtext.