#taplread 13章 well-typed store