Implement an undefined in Blocks.v
Further work done