Move from typed_attr to composite_type.
Relocated composite_type; working bundle exec rspec.
NonPositive, NonNegative specs.
Simplify specs.
RSpec 3 matches.
Remove typecheck.