Refactor instantiate using TypeValue

This error message should be more descriptive. It should answer "why is this not implemented?".