Fixtype of lists of information associatated to an ACL2 variable translated to a C variable.
This is an ordinary fty::deflist.