Added \coqtype to commands.lhs.