flesh out type syntax