introduce types for different data types

[tobiaswjohn]

introduce types in PDDL to represent different data types of the OWL domain. E.g. the constants extracted from the rules are more nicely organized and should also make planning (slightly) more efficient

maybe also introduce a type for OWL individuals / classes to describe the predicates better (e.g. distinguish between object and data properties)