Add a better static Function type (dart-lang/watcher#100)

Improves inference so it is no longer necessary to add types on the
function literal at the usage point.