Moving explanation of constants, prioritize explanation of type aliases

...f typealias