web-based Lite-Brite experiment by Type Theory (2009)