Extension for the package 'construct' that adds typing features
