Merge pull request #3 from withoutboats/impl-trait-alias

Rewrite to include abstract type syntax.

Author: cramertj