Implement indefinite-extent iface dicts

[marijnh]

They are currently always stack-allocated, which doesn't work when you want to bind a function that takes a bounded parameter.

Will also have to make this work for unique functions somehow.