Use getters for @readonly properties

This updates `Core` for #1588