Foundations of Frobenius Heisenberg categories