Factor out prefetch function

Still need to write it such that it prefetches
Add admin accessible user handler
Update config settings
Add theorem reversal information #16