Started work on detailed explanation of how ASDF works, as well as some refactoring and cleaning.