basic aliases and type bindings