Add apply.rkt and refactor bits out of verify