You're right, they are downlights. The two I've found interesting so far are 50mm (https://www.downlightsdirect.co.uk/click-inceptor-micro.html) and 40mm respectively and are both LED. You're right on selecting the lights first, to be fair I hadn't expected to need so much depth.
It is indeed...