More progress. Also, some holes about proj_except_reptype are narrowed.