Added dual, codual, and dot, and basic inverse