Simplify factorization
WIP on unification
Fix issue with identifiers not accepting apostrophe
Commit updated generated files corresponding to 10bc78927c5235ec45f44fec29ea9962b945527b
Merge branch 'master' into stratego-semantics
Temporarily reenable renaming of rule inputs (until unification is working)
Temporarily reenable old rule merging and move incomplete unification out of the way
Merge branch 'master' of github.com:metaborg/dynsem

# By Gabriel Konat
# Via Gabriel Konat
* 'master' of github.com:metaborg/dynsem:
  Add targets required for Maven build.