Update Environment.java

added in an (untested) a_enrolled variant built with the desired structure and an attempt to type-cast, that has been commented out.