Module loading

Functions

meter

After loading and before type checking we do a pass over the loaded transaction to charge for types that occured in the transaction and were loaded. We simply charge for the number of type nodes that were loaded.