formatting 90% done; encapsulated everything in the TinyJS namespace, and renamed most classes