Added temporal semantics to alloy generator, adapted new grammar