Update to new `impl Trait for Type` syntax.

Also, commented out the Num constraint on the Number trait in numbers.rs.