I must of dreamt it and that is quite possible I thought there was a HD installable versioned n that was a rip of Lotus3 CD32.
This thread does suggest there are rips of the CD32 version that run from HD whether or not that can be made to run from CD on the CDTV I Don't know.
https://eab.abime.net/showthread.php?t=19588&page=2
I once tried to create a CDTV compilation of HD installable games and it was troublesome something to do with playing music and I don't mean CD audio.