1 2 3 4 5 6 7
# MIT License, Copyright (c) 2022 Marvin Borner zero [[0]] succ [[[1 (2 1 0)]]] add [[[[3 1 (2 1 0)]]]] mul [[[2 (1 0)]]] exp [[0 1]]
