highly typed php