Text this: Developing Field Theory in Mizar