v1.6.0

Typechecker:

• Considerable refactor. It is more or less completed now. Every operation should be properly type checked now. It might not report yet about some obscure behaviors of SC2 compiler - especially its implict type casting issues... but the goal is to have error reporting on pair with the one SC2 provides.