Fixes to several small issues.
These are a handful of fixes to small issues with symbols.
- #3112 (closed) fixed typo in a pin name
- #3125 (closed) fixed two swapped pin numbers
- #2403 (closed) changed a pin type so its intended use does not cause an ERC error
- #1275 (closed) an incompatible part was accidentally included in an alias. Deleted the alias.