Type aliases and abstract type declarations

[mergeconflict]

The content on type aliases should probably come far earlier in the OOP section than the content on abstract type declarations (which relates more closely in my mind to path-dependent types).