First draft of types.md