include arctic
arctic numbers (unary)
import Semiring instance
version (more reports)