fix
fix variant type
change new tyvar name to simple alphabets
remove type comparison
add tests
support atom and string patterns
add tests
fix unit pattern
fix syntax
add test
compile list cons pattern
restruct pattern folding
compile float pattern
typing empty list
compile tuple pattern matching
compile alias pattern
compile constructor pattern
Merge branch 'feature/pattern_matching' into develop