`sta.fromDyn`, basic sketch of unit tests

Should move to randomized property testing soon.