Export of terminals from constantvalue was non consistent. Changes to consistently export all non abstract terminals to the top level ufl module. So for example PermutationSymbol was previously usable as ufl.PermutationSymbol however Zero only as ufl.constantvalue.Zero.

Also, deprecates zero wrapper, which does the same thing as Zero - not removed, just raises warning for now.

Removes dead code format_float