Simplify constraints on type signatures

requires ConstraintKinds.
add Semigroup instance for Range
bump version to 0.1.1.0