fix bug in valuation for symk; fixed bug in completions for modsym
fixed bug in specialize for symk; fixed bug in find_aq