Get rid of enum Quale::Type, create BoundingQuale; use typeid()

We just learned about typeid. Apparently it was either not mentioned
in the Stroupstrup book or we totally missed it.

smocore/include/mentalExistent.h

@@ -11,9 +11,13 @@ namespace smo {
  * Mentexents are Mentities, but not all Mentities are Mentexents.
  */
 
-class MentalExistent
+struct MentalExistent
 : public MentalEntity
 {
+public:
+	MentalExistent(const MentalEntity::Id id)
+	: MentalEntity(id)
+	{}
 };
 
 typedef MentalExistent Mentexent;