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