redux of type system. adding an is-all type checker, which encapsulates any term that has runtime typing (indeterminate). all other types (except stream) extend this now.
adding date support