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

#{
	dict <- module: dict
	sets <- module: sets
	true <- module: true
	false <- module: false
}