LEVIN, PIERCE, 2003. TinkerType: a language for playing with formal systems 13.. https://doi.org/10.1017/s0956796802004550