pumped version up to 0.7, removed obsolete proc, regenerated message_plus_lang.out, removed debugging statements