An attempt at type checking for Ruby