+ Added arrays and Xor types.
+ Added the set! special form.
+ Finished implementing multimethods with inference.