Make TInstance an argument to plan expression nodes so that type conversion happens in a context rather than the constructor.
Fix some tests.