Saving work
Mergeymerge
Implemented return type constraints. THERE ARE PROBABLY BUGS. Also the doc comments haven't yet been modified to accommodate them, so I'm not marking the issue as closed yet.