assumptions support: needs a special printer in SymPy
syms can print list of sym objects, stub assumptions method