make assumption of all VSes being finite-dimensional explicit. standardize on 'generating set' instead of 'spanning set'