Implement basic logical operations on predicates.

If we're going to be having predicates about it'd be good to be able to perform
logical operations on them. This commit provides the equivalent of NAND, NOT,
AND and OR.

Signed-off-by: Brian L. Troutwine <brian@troutwine.us>
Introduce triq quickcheck library.

This commit enables quick-check testing. Not all functions have been tested and
the function that is tested, fe:count/2, isn't tested as completely as it could
be. Progress for the future!

Signed-off-by: Brian L. Troutwine <brian@troutwine.us>