Program type parameters setting-getting and error checking.