Major feature: Automatic resolution of user-defined type aliases
- Type aliases like '@type sample :: number' are now resolved properly
- Generates typed data instead of falling back to term()
- Module context propagated through all generator functions

Validation:
- Tested with Statistex library (14 functions with type aliases)
- Tested with Jason library (complex remote types)
- All 56 property tests + 21 unit tests pass

Example:
  Before: samples generates [[]]
  After:  samples generates [[-3.875, 3]]

This enables proper testing of real-world Elixir libraries!