pub trait Environment<X> {
    fn get_expression(&self, identifier: &str) -> Option<&X>;
}