agda-stdlib: make expression nicer, fix license
agda: fix license
agda: add bitvector