Module Lang.Field

module Field: Logic.Field  with type t = field