Add (naive) type conversion
Merge pull request #21 from jayschwa/convert

Add (naive) type conversion
Redefined convert in terms of mapBody.
Added convert for matrix types.