Work out closed term computation in corpus linker