Module Prop.Int

int ranges and constraints.

module Range : sig ... end
module Constraint : sig ... end