Account for types of higher-order functions during typechecking#53

danbaterisna merged 9 commits into

masterhipsleek/Heifer:masterfrom

append-fixeshipsleek/Heifer:append-fixesCopy head branch name to clipboard