Add floating-point truncation
Type equality constraints seem to be working better now
Formatting fixes