Constructors

[jackfoxy]

Adding constructors to the dependent types has proved impossible, so far.
Maybe recent or planned F# type system work will make this possible.