Correctly parse trait aliases. Note, type inference and name resolution have not been implemented yet (by @lundibundi)