parser: map input strings onto arbitrary expressions (not only symbols).