This is builtins.elem
Fix dropWhile import
Add LICENSE
You can also use your local clone with git send-email.