Removed module_function declarations in TypeCheck.
Renamed and reorganized modules and functions in new Behavior
Refactored BehaviorCheck specs.
Implemented BehaviorCheck::Behavior?
Renamed spec files.
Moved PatternMatching under the Functional module.
Removed old Erlang-style behavior methods.