add Kiss image
Add Reference to type heirarchy
extra type docs
add Not type
implement a basic intersection class
Add Union type
Better Union construction
refactoring
Property tests and fixes
more property tests with specific objects