Add missing top-level type signatures