Nahrazení typu pojmu stereotypy formálního jazyka

[MichalMed]

V systému TermIt bude volba typu pojmu nahrazena anotací stereotypy formálního jazyka. Při tvorbě nebo editaci pojmu budou v roletovém menu "Typ pojmu" uvedeny stereotypy z formálních jazyků přiřazených slovníku. Všechny slovníky, které vznikly před úpravou VL budou mít jako jediný formální jazyk UFO, bude to tedy vypadat jako stávající stav.V případě více formálních jazyků přiřazených k jednomu slovníku budou stereotypy defaultního UFO vespod. U více formálních slovníků budou stereotypy řazeny od těch z konkrétnějších po obecnější slovníky.

Souvisí s problémy popsanými zde: https://docs.google.com/document/d/14C3Z_Zbik8jbM7W-hoP6QU1Ik3PiFW0ZRVmHFy-Iubw/edit?usp=sharing