Fixed some bugs. Made recognition faster.
Added more defaults for ramification at infinity.