Passage TyCor: Add debug prints tied to type coercion happenning