0.0.6

The first version that can actually be used somehow. Narc can type-check definitions by non-splitting pattern matchings.

0.0.5

Type-checking data types & constructors & type signatures, WIP clause checking (LHS checking). Narc is still not ready yet.