Taking out alpha conversion case for now and just erroring.
Added object types back in, but probably terribly.

Object types are Obj (the empty object type) and object extensions, mirroring
the syntax for values.