properly reify unbound vars
fix reification of structs
zebra