Rename stuffs.
HomotopyGroupoids -> PathTruncation