Misc additions
* More dynamic levels
* Integral instance for divs (for divMod)
Shortcuts for entering notes etc
Temporary NoteProp functors
More shortcuts