Check for the operations.
Generalize record creation
Merge pull request #16 from gzm0/generalize

Generalize record creation
Revert "Changing the package name to `ch.epfl`."

This reverts commit 1116eb024849b6bc41987e027bc7ae567c36a9a1.

Conflicts:

	common/src/main/scala/records/VampireMacros.scala
Killing some monsters :)

Review by @gzm0
True hygiene.

Review by @gzm0
Merging master.