Added contracts to utility.rkt. Started contracts for propertylayer.rkt
Added contract to property-layer% class. Modified main formatting.
Merged in Contracts