Added contracts to utility.rkt. Started contracts for propertylayer.rkt