Added code to remove constituent trait `invalid' when another one is added.
Added code to remove constituent trait `invalid' when another one
is added.

Replaced wrong go tags with correct ones for floating-point numbers.

clasp-developers/SICL,clasp-developers/SICL,vtomole/SICL,vtomole/SICL,vtomole/SICL,clasp-developers/SICL,vtomole/SICL,clasp-developers/SICL