Implemented some NaBL to Coq translation.

Added refers_to and defines translation.