Lamdu.Sugar.Types compiles