Operational $K$-theory