NummSquared Coercion make it so! Samuel Howse poohbist.com [email protected] November 29, 2006 Copyright © 2006 Samuel Howse. All rights reserved. Type theory Types…