7. ExpressionTypeRecognizer with some tests