Get basic constructor monomorphisation working again

- updates for type checking changes
- handle a little more pattern matching in constant propagation
- fix bug where false positive warnings were produced
- ensure bitvectors in tuples are always monomorphised (to catch the case
  where the bitvectors only appear alone with a constant size)

1 files changed, 0 insertions, 1 deletions

diff --git a/test/mono/not-yet/union-exist b/test/mono/not-yet/union-exist
deleted file mode 100644
index ebb89267..00000000
--- a/test/mono/not-yet/union-exist
+++ /dev/null
@@ -1 +0,0 @@
-union-exist.sail -auto_mono