Динамически типизированный язык обычно. И да, там одни списки
В любом случае написать парсер для языка такого плана не простая задача если ты раньше этого не делал. Затем нужно составить какой-никакой AST этого дела. Потом сделать какие-то проверки (они же делаются там, да?). Потом нужно правильно сделать стек, проверки типов, операции между типами. Ну в общем просто работы дохрена.