Add top-level type signatures.