fix problems with variables unifying to nil + make lvar a type