Make struct: work at the REPL

This pull request is for code review.

This passes all the TR tests that run right now. The use of `eval` here is tricky, but I have a comment explaining it.