Improvements to UML compiler

[brice-morin]

• abstract functions should look more like... abstract functions
• things that look like PIM, but include a PSM thing should be PSM, not PIM