rev' :: [a] -> [a]
flatten' :: T -> [Int]
flatten' :: T -> [Int]
eval :: Expr -> Int
exec :: Code -> Stack -> Stack
comp :: Expr -> Code