Add Marshal class
syntax rules removed since Idris bug was fixed