Cleaned up Environment structure. Introduced concept of Java Optional<T> for finding bindings. This showed there is a bug in part of my SA for Function SpecOp. :)