Add contract generation for Evtof types