Add tests for NvtContext
Rewrite step function with Applicative Functor
Rewrite Nvt's Eq and Show instance with Applicative Functor