add obj size checking
use PVal instead of Val *
change PVal into a class
pass arg in test.sh and fulltest.sh
modify tests
modify testing scripts
add ref counting
apply ref counting and add functions to PVal
restore cotl_repr.hpp