tokens: This paper builds on and extends the theoretical toolkit of CALF , heerdt2016 , who are developing a categorical automata learning framework ( CALF ) in which learning algorithms can be understood and developed in a structured way .