Signature help in the new compiler

Initial work on signature help. This handles the simple call case, but does not handle generic functions.
Actually there is an assert down below that I could move up.