allow coercions to be added together

--HG--
branch : feature/coercion-libs
allow coercions to be added to type constraints

--HG--
branch : feature/coercion-libs
docs

--HG--
branch : feature/coercion-libs