Misc. from Advanced Topics in TAPL