Add broken type inference, rename to banana.el