implemented type unification and a couple of minor changes.
implemented type unification and a couple of minor changes.

jckarter/clay,iamrekcah/clay,jckarter/clay,iamrekcah/clay,aep/clay,aep/clay,jckarter/clay,iamrekcah/clay,mario-campos/clay,iamrekcah/clay,mario-campos/clay,aep/clay,aep/clay,aep/clay,jckarter/clay,jckarter/clay,aep/clay,jckarter/clay,mario-campos/clay,mario-campos/clay,iamrekcah/clay,mario-campos/clay