Extracting crowdfunding with certified extraction. Printing types for top-level Liquidity definitions.