Finished making lattice functions type-bound #313