Added code from scalogno microLF to lf.scala
Encoded natural numbers and some proofs related addition
Merge branch 'master' of github.com:akathorn/elfcala

Conflicts:
	src/main/scala/elfcala/naturals.scala