Revisit stdlib data wrt to the recent Tact version

[jubnzv]

It might be deprecated: https://github.com/nowarp/misti/blob/2f902e10942600acff3adeac6065700f423a1494/src/internals/tact/stdlib.ts.

Ideally, we would like to have #329