Validation phase for JuvixCore

[lukaszcz]

• Add a validation phase which performs basic sanity checks on parsed JuvixCore programs (included limited type-checking).
• Scoping errors should still be detected by the parser, but there are some checks in the parser which should be moved to the validation phase (e.g. checking if the number of lambdas fits the definition type).