structures as simple-vectors doesn't confuse the type system too much.
ir2tran, mainly to reduce assumptions about how internal errors are done. Also moved syscall support here.