SE-0244: Opaque Result Types

(Ben Cohen) closed #163