Add support for simple type annotations in parser and update llhello sample with a possible new low-level dialect syntax leveraging those annotations

#{
	value <- 42
	main <- {
		foo <- {
			bar <- {value}
			bar:
		}
		print: (string: (foo: ))
	}
}