Rename class file.
Merge branch 'heapless_classes' of github.com:UCSD-PL/nano-js into heapless_classes
Merge branch 'heapless_classes' of github.com:UCSD-PL/nano-js into heapless_classes
Merge branch 'heapless_classes' of github.com:UCSD-PL/nano-js into heapless_classes
Started cleaning up multiple invariants.
Merge branch 'heapless_classes' of github.com:UCSD-PL/nano-js into heapless_classes