Added instances in elaborationEnvironment