More idiomatic ASDF system definition