Add "typecheck" attribute to control when a procedure is type checked.
Add "typecheck" attribute to control when a procedure is type checked.

project-everest/vale,project-everest/vale,project-everest/vale,project-everest/vale