Added isFloatingPointType and isIntegerType as well as their implementation for BaseTypes (including user-defined types)
The common root of an integer and a floating point type is now correctly the floating point type
Merge pull request #617 from shamanas/master

The common root of an integer and a floating point type is now correctly the floating point type