Added type constructors

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