Always use set_type instead of @type = … to make it easier to debug
Don't cache ObjectTpye#to_s when it has a string_rep
Fixed Type#merge: union comparison should be be object_id in that place