Redirecting from
/typecheck/object-oriented-programs/
to
/types/object-oriented-programs