models/step2: is calculatable
utils: added Haskell Constraint Generator