Result upgraded - added tensor product, getOrElse, and a new variant, NoResult, which is like Bad, but no errors. Just empty.