Rec1: fix Makefile
Rec1: make Constraints part of Syntax
Rec1: towards let