More explicit bug between two variant
Fix comment
Handle typle in TPattern.to_string
Fix polymorphic variant in conditional branch
Explicit a bug by implementation for later