a toy application for exploring semantic programming