Make sure lazy forms of *_CASE theorems are added to compsets via computeLib.write_datatype_info.

Am hoping this change doesn't break (too much / any) stuff.