Implement LevelUP encodings.

Closes #6.