Proposal: strict typealias

hum… I agree… Pseudotype proposal : typealias are too weak, inline classes are too verbose was better…