Initial implementation of sparse polynomials

Currently only multiplication is implemented.