types2: fix doctests of test expressions