structural 0.2.0

Abstractions over fields.
Documentation