check types of arguments passed to native functions
simplified debugging scripts
first version of belief analysis (+ some more tests); checking types of arguments given to native functions