Lowtype: Elegant Types in Ruby