Fixed normaliseHead
Proof type normalisation
cmt