Stub out proof-of-concept macros for mapping case class fields to Variable references.
Minor whitespace formatting.
Integrate HList-based mapping of constraints to case classes.