modify typebuilder about variable's constant and type compatibility