Add some type signatures for top-level bindings.