Academese to English: Scala's Type System, Dependent Types and What It Means To You