structural 0.1.0

Abstractions over fields.
Documentation