Add ambiguous types language extension