auto cases! use information from typing

[craff]

Some time, extra information comes from typing which allows to
restrict cases. This information is probably available in the type of the VWit ...
We should try to use it!

See lib/int.pml for a use case.