Removing monad from singleton
Normalization and Clean Ups
Name changes
Cleaning the Singletons
Adding Promoted Kinds and Massive Cleaning
Further Cleanings
Heavy Simplification of Typechecking, cleaning the code and adding cabal
Fixing and adding MiniWellScoped
Considering values as expressions
More cleanups
Adding proper typing withnesses (replacing existentials with singletons)
Normalization Conversion
Using .ghci and removing pragmas, futher cleaning, and addition of WellScoped Untyped Debruijn expressions