slyce a dependently typed toy language for Types, Languages, and Compilers SP'2023 more coming soon... how to build stack build how to run stack exec slyce