...
add inf list test
added more comments
checking the code in `builtin.cpp`, removed some bugs and redundancy