[la] change "U <= vector_space" to "U in vector_space"
[la] rework VectorSpace semantics