Update collision.rkt