allow "dynamic" instantiation expressions (but what precisely are the
semantics of this?)