Noallocs

This branch was created towards the effort of making Ordo allocation-free, which has now been completed. It is therefore being merged into the main branch.