Add: a new intrinsic data type "bool";
Fix: a couple of trick bugs related to instruction insertion during type inference;