Added the ability to specify bounds to all of the free variables.