Fixed normaliseHead
Fixed lift for lists
Toposort for makeProofSearchItem