Merge pull request #1 from ak3n/in_types

In types version

Update service

Simplified variables and finished typing rules for behaviour.

Add t-assign-new

Add condition for t-par

Add t-notification

Express typing rules in types

TypeTree yes case

First steps with Equality

Add type_of_value and type_of_var. Remove maybe from if-then-else behaviour.

Add check type for behaviour

Fix binary expr

Add Network, Queue and Service.

Add one possible variant

Create README.md

init

Initial commit