semantic: Move typeof replacement into exptyper.

We can't do this before the empty storage types have been filled in.
semantic: Little bit of extype documentation.