sort imports
more esplainin'
add a convenience function
refactor main to use convenience fun & extract hello fun & rename old agda hello fun