added infix precedency level to value constructures