Mozart Programming System v2 (not usable yet)