Started to add circuit and wire translation for a not-dependent-type encoding

Signed-off-by: Andrew Miller <amiller@dappervision.com>