Update docs, fix predicate handling in declare-action
Readme tweak
Working on let extraction
Refactorings can act of selection, progress on let-extraction.
Combines lets when refactoring.
Improve formatting and navigation.