Changing the package name to `ch.epfl`.

Closes #14.
Check for the operations.
Generalize record creation