Flatten the package a bit.

Now that we don't have ambitions to build a compiler, element is all
of finat.