AsmetaL integration

Integration of the language AsmetaL.