Added in the Predicate Resolution module, which attempts to
automatically resolve general assertions into more specialised
assertions. Also fixed a bug for argNIsa/Genl, minArgNIsa/Genl.