https://www.btechvibes.com/2024/03/type-checking-in-compiler-design.html