feat(library/standard/decidable): decidable is proof irrelevant

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>