Revert "don't have has as a function and instead just bind it"

This reverts commit 64868ed372f470135c601602edd1311fde464e31.