A megamodeling language