Initial implementation of the sparse matrix.

@bsoetaer 
Tests pass when the contracts are disabled.
This is just short-hand for lazily initializing the default_vector to an empty sparse vector, and returning it.