High-level GUI libraries and tools for the PM3 Modula-3 distribution