Implemented recursive construction
Added variants of some encodings suitable for recursive constructions.
Implemented tests for recursive, fixed test failures