Make print work like real function calls
Stop sorting the list of fifty elements; it takes forever
Add explicit forall types; some rewriting in order to better support modules, but really still doesn't work well