Update source directories in Makefile
More Prelude functions

This commit adds:

  * Prelude functions that could be promoted after some clever
    transformations
  * Symbols for type-level Nat +, -, * and ^ (See #49)
  * Some tests for Prelude (See #50)