Added test for type evaluation