mark some lemmas with 'abstract' keyword to speed up type-checking
add referece to the github repositoy
clean up
simplify proofs of some lemmas
use Data.Nat.Properties instead of Data.Nat.Properties.Simple
stop importing Relation.Nullary.Decidable