Added thread library to build and made Lazy thread-safe (maybe). Cleaned up PropertySpecifications to avoid some faux problems in Eclipse. Added the start of an "omit sequence" class.
Modified to use shared pointers and lambdas.