ModelTypes from PHP to HH