Reified: removed unnecessary flexibility in CaptureConversions: one partial function to rule them all! (hopefully allows for some patmat optimization)