"Code" checker

[pmalacho-mit]

Something that looks through the blocks and gives you a error symbol if the blocks aren't appropriate:

• This could be a bad reporter block being placed into an argument that accepts a specific kind of reporter
• Or, if blocks expand to have some 'scope', they could check against that