this is a nicer way of defining a subtype with coercion
test for sugar
repo link
deps
Added tag 0.001 for changeset ba5f0c900f38