update docs with lozenge-typing instructions