added the add_var function
trial at computing De Bruijn Indexes
dont use var * int, use db_var
can print De Bruijn expressions (expressions with De Bruijn indexed variables)