[WIP] Verify types on within and related assertions#692

Merged

meeber merged 2 commits intochaijs:4.x.xfrom vieiralucas:4.x.x

May 4, 2016

+314-22

Commits on Apr 30, 2016

Verify types on within and related assertions
vieiralucas
committed

Commits on May 1, 2016

Documentation update to indicate type requirements
vieiralucas
committed