Test case to test type propagation
Fixed the detection of if a expresion has a right side. When operating with a first derivate Type and a basic type we return the derivate type.