✅ Single integer
✅ Empty hole
✅ Free variable
✅ Let expression
✅ Inconsistent binary operation
✅ Consistent if statement
✅ Application of function on free variable
✅ Inconsistent case statement
✅ Let expression for a function