macro validations for the common ipmlicit DSLs of programing and every day life