Remove circuits

Pending discussion and review. Seems like a major improvement already.
Let's change e s l here to longer names that are more descriptive? I'm okay with single letter variables for things like monads or 'a', but when they're "Invented Here" it's probably best to have longer names.