Started alternative implementation based on the original paper about Edinburgh Logical Framework