tests for default effects and subtyping with relative effects

also fixes a bug in `joinRel`