Ae fn functionality

review @tleach cc @nrschultz 
Re-title this to "Dynamic Types"