Bulletproof type names (#120)