Add test simple type-checking of for statement
Add support for sequence to protocol to type-checker