Add function versions of mplus_many and bind_many
Implemented constraints on finite domains of integers
Tidy up unused variable warnings and weird whitespace
Update readme