added rudimentary support for unique declaration
double use of unique variables is now reported