Replaced strings with chars in tests
Implemented disjoint union construction and tests
Changed signature for wrap enconding, updated tests
Fixed test failures