Use maps to represent variable bindings