[lmkg]

When you're dealing with a totally new field, there's a lot of low-level, seemingly-obvious junk to sort out. And immature fields haven't developed common tools or proof techniques, so everything looks harder than it should be. Give it some time, the field might get more approachable, expressive, and useful as it matures.