work yet though (returns the wrong type).

Also add the struct printer, and fix a bug in the static argument printing.