Implemented asState().
Implemented asMutableState().
Implemented macro withMethods() in creator.java.laja.