Can infer (non-dependent) arrow types
Unbroke paths_to_id.tt; can infer * types
Added ?! to mean inhabit in checked position
Permit _ parameters; cleaned up paths_to_id.tt