Ruby Type Checking Compiler Construction