Add Types for Variables

The *parameter list* provides a view for all available variables and constants. Currently, these symbols are implicitly treated as reals, which makes sense for the hybrid skills in use. However, sensor and perception skills may also define variables with different types...

The solution would be to introduce a simple type system with explicit types, where the default type would be a real.


This is a rather complex topic and should be discussed here beforehand.