Signature help in the new compiler

Initial work on signature help. This handles the simple call case, but does not handle generic functions.