Modular Forms on Half-Spaces of Quaternions