in path type checking consider use mappings.
Still need to add code to actually check coverage by mapping.