Principles of in situ protein sequencing: expansion microscopy-adapted Edman degradation and amino acid recognition | Synapse