For end-point code like application or example, it...

# mathematics

[altavir]

For end-point code like application or example, it is quite OK to define extensions on types themselves. You can also create a specific type. which inherits FieldElement and wraps MatrixContext and Matrix