Lots of additions, MathDevice about 80% typed.
GraphicsDevice, semantics and tzarray