* Module evaluation and type-checking.