sketching docs and typed core