* Minor reformatting
        * First prototype of Alloy backend
        * Update reference output