修改bug,增加新的栈公理

增加栈retrun
修正cons bug