Handle no aval.types