Use typed getters for configuration settings

This improves some of the code style after SPARK-544.