type evaluation