Refactoring of expressions

- Creates traits CriojoInt, CriojoString ...
- Separates implementation into package scala
- Simplifies List and Tuple2 implementations
- Renames typed variables to IntVar, StringVar, etc

TODO:
- Refactor map
- Verify guards with changes