Fix type on binary expressions, added type assertion when the exp type is an interface