Module typing

Functions

meter

After loading and type checking, we do a second pass over the typed transaction to charge for type-related properties (before further analysis is done):