Issue 456 - Ruby gets a fast, powerful type checker (26)