Level one modular forms

This file contains results specific to modular forms of level one, ie. modular forms for SL(2, ℤ).

TODO: Add finite-dimensionality of these spaces of modular forms.