- Removed array validity mechanism, made implementation simpler
- Minor changes to comments and methods