Fix bug in forward trusting untrusted solutions
Some more constructors
Use ExpressionGrammars in Repairman