Minor release facilitating inference in presence of assertions

This is a very minor release, with better inference in presence of positive assertions assert num and assert type, updated tests and documentation.