Simplified Version of Guards

- Modifies CriojoGuard with a simplified evaluation
- Adds TrueGuard and FalseGuard
- TODO: implement in the language the guard construction: g := m --> g'