Lift all specced properties; add README description