If we know the identity of a callee, it should be possible to directly jump to its entry block, and eventually to pass along type information to the callee. The first step is to implement basic Ruby-to-Ruby calls that can jump to the entry block when the callee is known and there is no vararg, etc.