pub fn signature_help<'ast>(
    env: &dyn TypeEnv<Type = ArcType>,
    source_span: Span<BytePos>,
    expr: &SpannedExpr<'ast, Symbol>,
    pos: BytePos
) -> Option<SignatureHelp>