Add code for bareiss to CoqEAL v0.1