Thanks for the great post! One quick addition.

I personally use the t-dist instead of normal because the t-distribution does not assume we know the population STDev. Note that when n > ~30 the central limit theory kicks in and we can use z-scores, but for smaller datasets the t-distribution should be used.

Here's a stack exchange post that has some good explanations/resources.