Implemented the short string version of 'to be a ... whose items|keys|values satisfy'.

Closes #19.
1.0.11