Lose precision on field update for scalability
Handle abstract values in typeof primitive
Decrease verbosity
Add example illustrating loss of precision on loops