Scala extraction from Coq source. Based on http://proofcafe.org/wiki/en/Coq2Scala