the shape of a possible fix for #114, just for discussion

The big problem is that a new recorded call that doesn't specify a return will try to return `null`, which does not work with value type returns. So let's return a default value until we're told not to.