working zebra.als and some additions to LogicLanguage