Fix semidirect product to have correct name; Fix semidirectProduct function to compute correctly (typo)
Fix up Experiments.hs