Adding syntactic validation for block->delete case
New auxiliar function for mdt constraint and changes in semantic validtion for modify case
Semantic validation for delete, same case as modify
Adding custom function for block->delete case