finished join by following the types until only one solution was possible