Add testcase for empty init/cond/update of `for`.
Add basic bool test.
Update method resolution tests for bool type.