Rename fun to play

Signed-off-by: Kasper 'kapöw' Grubbe <kawsper@gmail.com>