Refactor common code for PropertyTester
Fixed properties for up to and including 5 args
Added extra function types, but require dynamic types to enable
Clean up testing examples
Moved design by contract related files to subdir
Working on recursive generator, currently StackTest is broken