this includes a halfway-reasonable parsing of object layers, as well as some monad plumbing to get them all in the right place.
