If you want distinct lentils in your soup, Black beluga lentils would be your best bet. If you can't find those, just sub regular green (or brown) lentils, but consider reducing the pressure cook time to 10 minutes instead of 12 minutes, since they soften more quickly.