add option parameter to typecheck. For now it handles only one option 'allow_unknown_keywords'