[polyml] Bug in parsing strexps with a signature ascription