Add Pi binders to language