Added types and functions for abstractions against modules/functions/parameters.