Actor creation typechecks and show works.

Everything is good for code generation.