added a method alias for Expr#[]; changes in generated Alloy files are due to different translation of e1[e2]: previously it was 'e2.e1', now it's 'e1[e2]