At some point, AVals initialized their types property to null until they received a type. I think that if such situations still show up, they are bugs.