Removed duplication prototype

Since the Slip meta-intepreters that were developed for measuring trace-duplication are complete, this prototype is no longer needed
Added possibility of simply meta-interpreting the basic recursive Slip interpreter (without any annotations for tracing); renamed some functions