Pattern Match compilation is a blocking feature to proceed to monomorphization and the rest of compilation