Implemented pros discovery after type evaluation