Partial commit

This compiles, but flatMap is problematic as RCFMT[Ref, ...] can't be
specialised to RCFMT[RefFuture, ...] in subtypes.