Beginnings of a description of the type system for LinearVM.