Agda.TypeChecking.Free.Tests