fix contracting wildcards and add docs

now that contracting wildcards are working, document them