Add field element type

[lukaszcz]

• Closes Add field element type #2571
• It is reasonable to finish this PR before tackling Translation from JuvixReg to Cairo ASM #2562, because the field element type is the primary data type in Cairo.
• Depends on Generalize backend builtin primitive operations #2653

Checklist

• Add field type and operations to intermediate representations (JuvixCore, JuvixTree, JuvixAsm, JuvixReg).
• Add CLI option to choose field size.
• Add frontend field builtins.
• Automatic conversion of integer literals to field elements.
• Juvix standard library support for fields.
• Check if field size matches when loading a stored module.
• Update the Cairo Assembly (CASM) interpreter to use the field type instead of integer type.
• Add field type to VampIR backend.
• Tests

[janmasrovira]

Since we are only using finite-field for the FiniteField typeclass, I think it makes sense to also copy that definition into our codebase and drop the dependency. I've done that in #2673