Test types resulting from Expression.Check.