Added IntelliJ files to .gitignore
Added support for operators that need the same type on both sides (like '==').
Added tests to verify that questions, computed and ifs call their subASTNodes.