lots of cleanups to ceylon.math