Abstractions in Malinette