doc: expand outline
Type system: add "padding" type constructor.