Finish migration onto pymbolic GA infrastructure
Formatting tweaks to Müller solver