nanoML

Add .gitignore

Add test/jbuilder

made the constraint checker generic in first-order languages.

removed extraneous Printf opens

Cleaned up constraint module, and added an interface.