Hack updates

Updates to get XHP to pass the (3.2) Hack type checker.