Various return typecheck/decont optimizations.