TODO Add names to typing judgments to support define-overriding-judgment-form. Add an implementation of the reference validation algorithm. Add a function for converting WAT files to WASM-Redex terms.