got naive tree to typecheck first time whooooagda -c Naive.agdaagda -c Naive.agda