intermediate: bugfix for alloy; adding sugar syntax