Improve impl package checking
Log a warning when an processed type is in an impl package