Make the base case for RemoveAullAux be Nil rather than singleton

Signed-off-by: Michael Donaghy <md401@srcf.ucam.org>
Add test for the HNil case of removeAll

Signed-off-by: Michael Donaghy <md401@srcf.ucam.org>
Merge branch 'pr/30'