[ fix ] mising definitions in Nullary

These definitions are used in e.g. lps.ProofSearch but were not uploaded
yet.
[ fix ] redundant clauses

Rather than having two constructors (one for a Cover, one for a mint
assumption), we can have just one (for a Usage).
[ more ] Weakening for ILLWL