add type check for init block
add basic type rules and constraints for initilization blocks