All types in a call-by-value language are two collections: one of values and another of expressions, the former embeddable in the latter. This is plain obvious

All types in a call-by-value language are two collections: one of values and another of expressions, the former embeddable in the latter. This is plain obvious when you see its operational semantics.