Added @miniboxed and MbArray[A] where needed.