As a first step in expanding FunctionAst to do full detection of
various return types, not just whether we're returning this or
something else.