meeting about using macros for literal constraints, and general design of saws. @eparejatobes @laughedelic