All types have classes
All variables are objects
+, -, *, etc. are predefined similarly to how + is defined now for String objects
Compiler is responsible for optimization
Non-overflowing integers?