stack_type should be list type #1
Description
Right now stack type is defined as
with stack_type := | empty_stack : stack_type | cons_stack : type -> stack_type -> stack_type
but it should be something as close as possible to list type.
{{ message }}