Have CIF type checker warn about types that only support one value
We discussed this already in #794 (closed), where we add a check for list types that only support empty arrays. The idea here is to have warnings for all user-entered (not type checker inferred, like in expression literals) types that only support one value. So for instance list[0] ...
, int[5..5]
, etc.