Add ambiguous types language extension

Sunroof would not compile without the ambiguous types language extension.