Making 'Var' into uint32_t and removing typedef

Typedef is ambigous: cryptominisat2 also has this typedef and it's
pretty useless, too. Also, it shouldn't be an int, but an unsigned int