Normaliace
Po dokončení normaliace, projet návratové typy a udělat je exaktní pro a optimalizovat tak aby se nenormalizoval když už typy jsou DefaultSymbolType, ...
Po dokončení normaliace, projet návratové typy a udělat je exaktní pro a optimalizovat tak aby se nenormalizoval když už typy jsou DefaultSymbolType, ...