Extracted URI typechecks from generic typecheck module.