init doti from dotf
DOT model where concrete class label decls are restricted:

- Lower bound must be bottom.
- Upper bound must be concrete type.

This gets rid of one counterexample related to expansion not known
"statically", and is more in line with usage.