Use paths for type substitutions