What is the position of the hole?

Property definitions

ai $ PuzzleProblem :: get_hole
	# What is the position of the hole?
	fun get_hole(state: Array[Tile]): Int
	do
		return state.index_of(hole)
	end
lib/ai/examples/puzzle.nit:132,2--136,4