Scraped the boilerplate implementation from Examples into
claim.structure.impl.
Added type parameters to variables.