Improve errors when using reveal
Reveal errors on lambdas
Add more failure protocols
Add fix for mangling overload
Remove unused paramters