Bug fixes not applying unification

Added dummmy kctx variables to be passed around during type inference.
TODO need to to kind saninty checking while type inference