foundation of recursive types
handling of incomparable type and value pairs