Generate function stubs

Generate the declaration for each function symbol.

```k
syntax Int ::= foo ( Int ) [function]
```

maps to

```
def foo (x : SortInt) : Option SortInt := sorry
```

For functions marked total, the `Option` can be later eliminated, as described under section _Totality_ in #4552.