Replace a number of delsimps calls with temp_delsimps instead

The problem with delsimps is that it makes the change permanent for
all descendent theories.

Some proofs need adjusting as a result.

Get src/coalgebras to build given tight-equality

Merge src/llist and src/path into new src/coalgebras