Added a list check.
Added aliases for other type checks in Erlang.