Refreshed grammar generated code and added missing files to clafer.cabal
AlloyLtl generator: fixed mutable clafer cardinalities