Adding basic functionality to recover strings from propositions.
Augmenting test coverage for string recovery.
Reducing templatization madness.