Improved const invariants

@bsoetaer 
Added new functionality for defining commonly used contracts in a single line.  'const' and 'require_square' are now implemented using this system.
I believe that the "included" function will be called before these add functions are called. If that is the case then if the method is not defined when "included" is called it will not be part of the automatic contract calls.