Implement cast-to-iface

`myvalue as myiface` should, if `myvalue` is of a type that has an impl of `myiface` in scope, copy the value into a boxed representation, along with the dict needed to treat it as myiface. Values of such a type can have methods called on them, which will be resolved through the dict.

This depends on #1436
