Add Case_nullary to path
Cleanup; drop get_tuple_components
Cleanup; make tuple private; provide eq/eq_atomic.