Unskip some 'to satisfy' tests that now work.
Implemented expect.fn naively and made some more tests pass.
to satisfy: Test with regular expressions.
Implemented 'to exhaustively satisfy'.
to satisfy: Enabled the custom type test with some error message warts.