typo
Merge remote-tracking branch 'la-vache/master' into typo
for all universal quantifiers
simplify unchecked constructor
Merge pull request #246 from eggrobin/typo

Typo
Merge pull request #247 from eggrobin/not-null

simplify unchecked constructor
Merge remote-tracking branch 'la-vache/master' into interface-tests