The program handles objects created in runtime.

See rest of TODO list from previous commit. This one is a big one
though! Representing each object as a Lambda instead of its object type
and evaluating it lazily.