Refactor Block::call into block.rs

It doesn't have any dependency on the traits, and it's easier to see
what's going on this way.