started evalS and fixed types