Adds lots of symbols for programming in Agda