fixed several bugs, and added stub implementations for remaining cases of inferExpr.
fixed several bugs, and added stub implementations for remaining cases of inferExpr.

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