Object-Oriented Programming in the Beta Programming Language