added showing the type of an expression