Fix the type equality test in the reification of VIDesc_Bind and VMapI
Make the difference between arguments on the left of the '=' and the right explicit
Remove VDefnRef, in preparation for adding labelled types
Labelled types