Also add a few methods to instantiate instances and get an instance definition. We're still missing support to actually monomorphize the instance body.
