Typing: completed infer; added createInitialContext