There are lots of trivial ones in there (eg. `Bool...

# announcements

[karelpeeters]

There are lots of trivial ones in there (eg. Boolean on is, types on constructor invocations, ...) maybe this was an automated commit.