A complete definition of the SugarJ grammar