Add some more docs to types experiment