Finishing up type system.
Need to implement closures, classes.
Fixed a few bugs with illegally letting array casts pass.
Added file