typecheck changes
renaming
version bump