refine assertions and edge cases, fix map test errors
limit sym table id to Val ints
fix iter test