module and function validation, type annotations