Fix a bug, forget set type after reconstructing an expression