Add {Function,Type}.Param.Binary
more gitignore rules
Fin,Nat: updates
Working version now independent from agda-nplib
Packaging