Information Contracts for Ruby