Parser and Type Checker for Paradox language