Object constructors

[kjnilsson]

Currently object constructors return unit as is their signature. We need to intercept this to instead return an appropriately object formatted tuple containing the appropriate fields.