Add a few more details of the example of non-algebra-hom-stack
Move results to better spots

Perhaps some of the lemmas should be moved even earlier