8b finished: modified DoVarDecl to throw the appropriate error. That is
if the type is not assignable to the varible of type T