Title: A type discipline for program modules