added imported context to type checking