Implemented FirmTypeUtil. Changes in the typesystem and in Definition were necessary, hope everything is fine. Please review!