* Type propagation for convert

* Implement "convert" through VM

* Temporary commit to unconfuse git merge

* Undo temporary commit to unconfuse git merge