Fix #85: get the type of the constructor as a member of a type rather than just a type signature

You never know what will people propose during a live demo....

Review by @vjovanov or @gzm0