Add Eq a to typeclass constratin in normGenerator
Delete unnecessary import statement
Add documentary comments
Code clean up and Add CDF function

Restructured the incomplete beta function to work with some updates
to the Factorial module. Also added a CDF. Unfortunately, the beta
lower incomplete function is not evaluating well for all possible
values of the parameters, so this code is not ready yet.