Removed some unnecessary stuff. Also, now we support traversing and
assigning types to plus, sub, mul, div!