more type overrides
more type intestection enhancements and tests
implement Anything type