Coercing Oracle Outputs

This file defines a function liftSO for lifting a simulation oracle given a lift from the original to final output oracle sets.

TODO: test if generalized append solves all the problems this was meant to...