Type system integration

[alex404]

• [ ] Type checking should be integrated into the CI
• [ ] Code should be free of errors, and warnings should also be minimized.