Update conversion of LVTs to matrix form
Update conversion of LVTs to matrix form

Now all definitions with a non-vector left-hand side will be construed
as a definition for unity.

tschijnmo/drudge,tschijnmo/drudge,tschijnmo/drudge