recognize type signatures as parts of bindings.