fix type in Type(x) abstract operation -- return 'null' instead of null