Add FA.agda, with picture! (also Nat.agda)