Added a sisal language definition. Made the if1 language definition more compact