IdentifiableObject -> Basic
Void -> Anything; IdentifiableObject -> Basic ; exhausted -> finished
Bottom -> Nothing
Nothing -> Null ; Bottom -> Nothing
Update the test code
Update test code
Nothing -> Null