Consider adding a 'DecodeResult' value instead of using optionals

[NunoAlexandre]

Now we are blind in optionals. That means that we don't know why a computation failed.
There are two critical drawbacks now, where whenever 1) an expected required field is missing or its expected type is wrong, no information is passed on to provide a clear suggestion of what is wrong and must be fixed.