renamed the constr module to goals, slight rewrite of the trivial solver
correct constr -> goals