Various updates
crypto-agda.agda type-checks for me