mathlib

8d0309a0 - Cleaned up code and started with docstrings