Define a lexical context for the constraint code

[z-silver]

Currently, constraint serialization as implemented in #18 uses a placeholder lexical context to evaluate the constraints in. It would be better to create a module containing only the functions and macros we want to be usable in constraints, and use a syntax object defined in that module as our lexical context. This way, we would have finer control over the name bindings used in constraint evaluation.