[#3] Tests

These types should not be here, they should be on zipper.erl... Or nowhere yet.