added copyright header
added quick fixes for first letter case of names; added new checks for repository name and circular inheritance; fixed abstract operation check by checking for circular inheritance