Remove unnecessary type parameter.
Remove unnecessary comments.
Use package objects instead of objects to make roles clear.

Oscar had pointed out that the naming convention for objects
like algebra.std.int was confusing. This commit is designed
to make it clear that "int" is really a package name, and
is only implemented as an object so it can extend a trait.