Complement and degenerate metric

The following is a quote of @enkimute from the discussion in #3

check the way he defined the complement and figure out if this may provide a method that works for degenerate metrics in the same unified fashion..

Opening this issue is meant to track ongoing discussions regarding degenerate metrics and complements