Add main.rkt with check-unicast