add lexpl()

add pl_mult_until() for '111112'
add lexpl() for '(a*(b+1))'
fix __doc__