Ruby Type Checking Compiler Definition