Type and value checking for Ruby code.