Automatic TO conversion should respect inheritance

[lukashaertel]

Since the entire system type hierarchy is static, a check for viable subclasses needs to be introduced, subclass conversion should be used then.