Radically simplify the spec API