full type computation
InVariableBlockFactory and OutVariableBlockFactory
kompilacja rozbita na fazy
Add block validation