Two fixes: Types were not set for new expressions generated from the VDM new expression and VDM mk_ expression