Add more extensions#8

Open

pauljohanneskraft wants to merge 2 commits intomainfrom

more-extensions

Commits on Mar 3, 2021

Add more extensions, standardize use of MARKs
pauljohanneskraft
committed

Commits on Mar 4, 2021

Add Binding.onlySetOnChange
pauljohanneskraft
committed