[mizar] pretty Mizar constructor names

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Hi,

I started creating names for Mizar constructors, which should be

- more human-friendly than the current constructor naming (using
  'k3_tarski' instead of 'union' does not bring much understanding)

- more machine-friendly than the current Mizar symbols and their
  complicated context-dependent resolving into constructors

The immediate goal is to have the problems for automated theorem provers 
generated from Mizar more understandable, but it could be usable for any 
semantic-level cooperation betwen Mizar and other systems.

Anyone interested in this is very much invited to edit the table at 
http://wiki.mizar.org/cgi-bin/twiki/view/Mizar/NiceConstructorNames or 
discuss its implementation there.

Best,
Josef Urban