sematinc: Implement type compability checks

[sangisos]

In the future, implement the possibility for explicit and implicit type conversions and compatibility checks.
For now only equal types are compatible.

[mewmew]

Initial implementation in commit 6ee5f5d.