composition typing rule implementation seems to work. more testing required after implementing quotation typing rule
Merge branch 'typechecker_rework' of https://github.com/ktak/programming-language into typechecker_rework