Fixtype of triples consisting of a function table, a variable table, and a tag environment.
This is a product type introduced by fty::defprod.