load object files and automatically load pervasives
include pervasives by default and tests prettier
stubing the thermostat to compile
updating examples