Added tests for finite fields from documentation. Fixed a minor exporting issue.