Model Transformation Languages with Modular Information Hiding