WIP: implement symbolic expression parser