Updated the sugarer to support both ':' and '->'
Updated alloy generator to support redefining refrences

Made errors monadic