Misc fixes to dependent types
Add N and R commands
Import amssymb