Feed $ type values into generated hugrs in the interpreter

[croyzor]

To allow us to generate hugrs for something like

qid(X :: $) -> { X -o X }