Fix some bugs
A list implementation in TIP