Adding type signature resolution.  Separating statements from expressions.