Added basic unary functions, shape lemmas