Restore check for infinite types

[joshsh]

Hydra used to check for and fail if it encountered recursive type expressions during unification. At some point, this check was disabled in order to allow successful type inference over certain recursive functions in Hydra's kernel. Why this was necessary is no longer entirely clear. Sort it out.