In my understanding, Isabelle isn't a programming language. It is used to write down mathematical theories in a formal way, so `type: markup` would be a better fit.