Fix typos found in the design-thoughts, internals and lua-api subsections of the documentation.
These ones were design notes and ideas collected during the 1.5 development phase lying on my development machine. There might still be some value in keeping them for future reference since they mention certain corner cases.