Added the program sumn.cink in basic and enriched the set of atomic propositions in ltltmc.