Update Basics.lagda

2 typos, and a misnamed variable