Bring the parser on
Migrate to +-*/
Fix more style tests - removing constraints, not breaking on undefined in hoops