fixing constructor issue in pattern matching of nts.ml