fixed error handling for dangling else
should error if an if-then-else expression has no else variant (must be that way due to the type system)
removed spurious check on else variants
Merge pull request #1 from nisstyre56/master

Merge pull request #1 from oftn/master
Merge pull request #2 from oftn/master

merge OFTN version