Noreturn
Remove dead project
Merge pull request #58 from pleroy/Deletion

Remove dead project
Forget
Freaking blank line
Forgot to test
Merge pull request #59 from pleroy/TODOs

Kill a few TODOs: forgetful functor for rotations and error handling in R3 elements