Fixed sign error, map simplices to standard ones before doing the heavy computations, special-cased alexander-whitney, defined on-simplices+comp, gitignored .fasl files
fixed pattern matching bug in xi-base, works in higher dimensions again!