More IRascalValueFactory stuff.