checking array dimension: must be positive
move symbol table and add Assoc type