code: use bidir checking for kinds of implication types
core: fix missing context application in type/type application checker