Refactor, add package_ type. Pass package path to types.Check.