Added type constructors for distributions

Type constructors for distribution objects (records) containing mean,
standard deviation and curried probability functions.