Added type bounds as annotations for expressions, and their addition to programs during typechecking.