Allow requirements to specify a default formula.

This allows default resolution of requirements without user intervention.

Very much a WIP and open to suggestions with the DSL or how to do this in a better way.

@jacknagel Ping