Find sal types that needs to be replaced to better types.