Many signedness and type propagation fixes