toy functional language