The language for type signatures for Ruby and standard library definitions
