Added tip about "-Xfrontend -debug-constraints" params.
Added test case 025-populating-protocol-typealias-with-generic-types-type.swift

See http://www.openradar.me/17501507