0.2.4

FIx some other stupid bugs, support down-shifting levels

0.2.3

This is a bug-fix update

0.1.8

[ bump ] Release 0.1.8

0.1.7

[ voile-util ] Remove type aliases

0.1.6

[ check ] Fix type-checking bug, add more example

0.1.4

Implicit syntax thanks to @oraluben

0.1.3

[ cases ] Document cases typing rules

0.1.2

[ doc ] Update rustdoc

0.1.1

[ changelog ] Update

0.1.0

[ refactor ] Minor changes