rename FundamentalGroup to HomotopyGroup