Gave some lemmas more descriptive names.
Replaced Java implementation of Region with a scala implementation.