evalToConcrete