Currently, we only support opaque result types as top level level types, e.g. some P is allowed but not (some P)?. This branch adds support for opaque result types in structural type positions.