An extension of Dhall with implicit arguments (fork of ocharles's dhalli)