Refector inputs to make use of casstrings (with ast) and not pass around maxima strings.