Extended parser with brackets in expressions and continued with type checker