This branch (re-)adds dynamic math and symbolicresponse. Test cases included.