made play application
updates in logic, theory and aware layers
HoTT first commit