Bootstrapping Inductive and Coinductive Types in HasCASL (Logical Methods in Computer Science, 2008)