Default constraints

This PR adds the ability to specify a default set of constraints in a YAML file and have them added to the program at runtime.