Extend the environment interface and data types to define the following additional functionalities:

1. A predicate method isEmpty that returns true when the environment is empty and false otherwise 

2. A predicate method hasBinding that accepts a variable name and returns true when the environment has binding for that name and false otherwise