removing arbitrary
will implement them later
re-organizing stuff more
adding more forAll arities
adding a little bit of documentation