Add instances for Witness
Fix warnings
Fix warn ings
Add function with{Nat,Int} and Some{Nat,Int} data types

Implementation is taken from finite-fields package and minor modification
were made

Fixes #1
Bump version
Added tag v0.1.1.0 for changeset be8a4c26b22c