Intersection type disciplines lambda calc by Bakel