Ruby Type Checking Compiler